MathlibLemma: Generación de Lemas Folclóricos y Punto de Referencia para Matemáticas Formales
MathlibLemma: generación automática de lemas folclóricos y punto de referencia en matemáticas formales. Optimiza tu trabajo en formalización.
#matemáticas formales
MathlibPR: Evaluación comparativa de la preparación para la fusión de solicitudes de extracción para bibliotecas matemáticas formales
MathlibPR evalúa la preparación de PRs para fusionar en bibliotecas matemáticas formales. Optimiza la revisión y agiliza las fusiones.